计算机要处理高级语言，就必须使其形式化。20世纪50年代，美国语言学家乔姆斯基（Noam Chomsky）关于语言分层的理论，以及巴科斯（John Backus）、诺尔（Peter Naur）关于“上下文无关方法表示形式”的研究成果推动了语法形式化的研究。其结果是，在ALGOL60的文本设计中第一次使用了巴科斯—诺尔范式（Backus—Naur Form，BNF）来表示语法，并且第一次在语言文本中明确提出应将语法和语义区分开来。巴科斯因发明BNF与世界第一个高级语言 而于1977年获图灵奖。诺尔因改进巴科斯的描述法，并用于描述整个ALGOL语言，受到业界的高度评价并于2005年获图灵奖。（ ）答案: FORTRAN